A Handel Collection

Preservation Digitization of David Edelberg's Handel LP Collection: A Pilot Project

This paper describes the digitization process for building an online collection of LPs and the procedure for creating the ground-truth data essential for developing an automated metadata and content capturing system.

Warenkorbanalyse im Online-Handel

A verified compiler for Handel-C

The recent popularity of Field Programmable Gate Array (FPGA) technology has made the synthesis of Hardware Description Language (HDL) programs into FPGAs a very attractive topic for research. In particular, the correctness in the synthesis of an FPGA programming file from a source HDL program has gained significant relevance in the context of safety or mission-critical systems. The results pre...

A "Hardware Compiler" Semantics for Handel-C

We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulting hardware. This semantics is then shown to be useful for validating various algebraic laws which should hold for Handel-C programs, as well as exposing a key principle which governs how such hardware should be operated.

Handel, a Free-Hands Gesture Recognition System

I describe here a real-time vision-based gesture recognition system used in interactive computer music performances. The performer moves his hands in a video-camera capture area, the camera sends the signal to a video digitizer card plugged into a computer. By processing the reconstructed images of the performer’s hands in movement the computer detects x-y positions, shape (posture) and angle o...